1. A manual of intensional logic
Author: Benthem, Johan F. A. K. van, 9491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic
Classification :
P
25
.
C28
No
.
1
2. Handbook of Logic and Language
Author: / van Benthem, Johan F.A.K.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
3. Language in action : categories, lambdas, and dynamic logic
Author: Benthem, Johan F. A. K. van, 9491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
Classification :
P
39
.
B46
4. Modal logic and classical logic
Author: Benthem, Johan F. A. K. van, 9491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Modality )Logic(,، Logic
Classification :
BC
199
.
M6B46
1985
5. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
Author: Benthem, Johan F. A. K. van, 9491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Time,، Ontology,، Grammar, Comparative and general -- Tense,، Tense )Logic(
Classification :
BC
199
.
T4B46
1991
